* .github/workflows/spec.yml: New equivalent github workflow.
* .travis.yml: Removed.
* README.md: Remove unused badges. Add workflow status badge.

Signed-off-by: Gary V. Vaughan <gary@gnu.org>