Move some verlet headers to mdlib

This change does removes all dependencies on those (explicit) types
from files outside of mdlib (the only one were in programs/mdrun).

Change-Id: Ia2b90303249e3e7454ac869afb5cbe0cf290a400