Add further version constraints on Tyxml and Camlhighlight (whose next releases will break stuff)