Fix documentation location
Fix Travis-CI build instructions