Start cleaning up HMC internals.

Define a notion of HMC-System (pair of position and momentum) and
its evolution.
Clean up HMC leapfrog a bit by simplifying the update steps.
prob-hmc cleanup: work mostly with HMC systems, not position or momentum dbs