Place MiMa basis in version.sbt; make it 7.0.3; only check that in Travis.