mention flint-devel in README