Camlp5: update to 6.12; hol-light: update to r199