coq-record-update v0.2.0

This release switches the build system so that it supports opam and dune.

I also switched to a different setup for tests so they are better separated from the source code.