Adding travis-ci integration (via github mirror).