v0.0.2

• Update various things, mostly process-related.
• Switch to GitHub Actions for CI (from Travis).
• Add skeleton for user documentation.