improve logging
small typo fixes
mv plotting from double_tank -> abstract.discretization
update mode names in logic spec of fuel tanks

to the mode names that are automatically generated by abstract.discretize_switched.
This is until some better options for specifying mode labels separately from mode tuples are implemented.