Different strategy for converter.Converter.getFormatFromFileExtension()

Rather than using the "file" program, use the "python-magic" module, which seems
to wrap its functionality. If "python-magic" is unavailable, use conventional
file type detection.