Removed Travis CI because of some kind of config error... Maybe I'll put it back later.