v 0.10.1

Previously v0.10.0. I have to switch to a new repo due to huge /.git folder size. The old git commits are still available in the archive.

---

This version focuses on building and project cleanups. Especially, rules are moved to a separate repo. The UI doesn't change much in this version.