Updating distro versions

Updated the Fedora releases from 17 to 19/18/20. Also, made some of the code
less dependent on hardcoded releases. Fixes #11