CI: added Travis-CI support