Add a travis badge
Stub out the specification command