Make formats dropdown menu presence configurable in settings.yml.
Merge pull request #716 from ontohub/699-remove_formats_button

Make formats dropdown menu presence configurable in settings.yml. Fixes #699.