Added travis-ci badge and so on.