Add prerequisite check, update travis.yml