travis button

Ignore-this: 6c8d11958eb48c2507c89b29a1a4700f

darcs-hash:20140723190741-7e7a4-7374b8b59e82cb565b3de611658a023229938c41