Fixed travis config, added version numbers.