Remove (broken) Travis CI integration; add Prerequisites section