Use unwind-protect to shutdown Maxima at end of with-maxima macro