Cleaning up Linux install docs, and adding Fedora