Properly handle tags in Docker workflow

Update a cross-reference in the Guide.

Add 3.2 release notes.

Fix the install script for Windows.

Add symbolic profiling to Rosette.

Refactor the synthesize query to use assumption and assertion stacks.

Update all uses of the query to conform to the new syntax.
Change (vcgen e) and (vcgen-eval e) to return only the
assumptions and assertions generated during the evaluation of e,
without prepending the assumptions and assertions that were on
the stack before the form was evaluated.
Change (vcs e) accordingly to maintaing the eval/asserts semantics.

Merge pull request #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.