Add configurable diagnostics to drfrontendlib

For investigating symbol fetching errors, it is useful to be able to obtain verbose diagnostics from the drfrontendlib routines. Here we add drfront_set_verbose() to programmatically enable them.