work on bucket navigation
bucketnav: onCancel closes the editor panel as well
bucketnav functionality added
new bucket navigation implemented; designs changed accordingly
bucket navigation border width decreased by 1px
small adjustments to bucketnav
small adjustments to bucketnav
adjustments
updated MARKOS project theory and properties
updated argument editor
fixed several issues
onCancel button fixed
catching up
Merge branch 'master' into bucketnav

Conflicts:
	projects/markos/theories/oss_licensing_theory.clj
merged master branch with bucketnav
refactor transitionTo call to go call
Merge remote-tracking branch 'refs/remotes/origin/bucketnav' into bucketnav

Conflicts:
	src/CarneadesWeb/client/src/_app/lican/licanControllers.coffee
css changes