Update to bernard 0.2.0 and flint 1.2.0