fixes for update procedure
- all functional tests are running with hfm update between each step, this way we got all hfm feature tested including checking how update procedure affects them
- fix for update system test which did not test update procedure because postgres did not start update when new version number was the same as the old
- state providers hashes included in the database hash, state providers are now updatable
- operations encoding functions moved to hafd schema