docs: reorganise and simplify.

* README.md: Move usage documentation from here...
* docs/specl.md: ...to here.
* .gitignore: Adjust.