Add is_closed_term tactic

2 jobs for !345 with msammler/assert_closed in 4 minutes and 33 seconds (queued for 8 seconds)
latest merge request