Merge branch 'master' into dev_branch

Conflicts:
	src/ValueChartsPlus.java
Merge branch 'master' into dev_branch
first addition of box plot for utility functions
added overlay of user data in value function box plots; some refactoring in how user legends are generated
remove user color mapping option; move average value chart button to menu bar