Add user-named variables as comments in SMT-Lib2 output

Fixes #74