bugfix: env_vars became a dict, not list
bugfix: state order in plot_partition
reduce remnant verbosity
use logging package during synthesis
Merge branch 'master' of https://github.com/tulip-control/tulip-control