Various updates

 - Speed up of travis installation
 - Improving documentation
 - Fixing broken links in docker documentation.