Add CVT code which is fortunately under a BSD license.
Update HDMI library to include setting the HDMI resolution and pixel clock frequency.
Add hdmires command to de4ctl.
Update de4ctl man page to document new hdmires feature.
Update Makefile to build new de4ctl hdmires feature.