some customizations to ease working with Proof General