Enhancement: basic setup for Travis-CI