Modify travis file and remove obsolete bit of documentation.