Merge branch 'travis' of https://github.com/shenki/obmc-console