Update INSTALL for Fedora
Merge branch 'feature-path-exploration' of github.com:cs-au-dk/Artemis into feature-path-exploration