Adding travis ci integration.
Tweak travis CI configuration.