Add Travis build status icon/link
Merge branch 'travis_icon' of https://github.com/delcypher/klee