We don't need the "development" version of vhd-format any more

Developers should use pin, and make new releases regularly...