Implement Travis build with and without spykeutils.
Merge travis config changes made via github's editor.