Added Travis-ci support