[WIP] Make Travis CI working

Still a work in progress. Once working, this will fix #249.