Travis support

With minor documentation updates at the same time...