Re-add Travis tests and reconfigure Travis to (hopefully) work!