feat(ast/ast_smt_pp): display quantifier QID when printing proofs, feature requested by Dan Rosen

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>