Execute themis on Travis CI

Also add a badge to README.mkd.