Ups, wrong travis configuration filename. Also added missing documentation and coverage tools for development.