Add travis-ci integration (we are still lacking tests though)