remove unused references to print_ast stuff in ml_hol_kernel