Merge pull request emina#29 from AlexKnauth/patch-2

use make-variable-like-transformer for fv

Add release notes for Rosette 2.1.

Update the Travis script.

Minor bug fixes.

Merge pull request emina#3 from jamesbornholt/persistent-smtlib

Make smtlib servers persistent.