Log is not available outside of phpDocumentor, so check it exists

The Log class from phpdocumentor/phpdocumentor might not be available. Fall back to a magic number if the class doesn't exist.

Related #3.