Merge branch 'master' into remove_and_merge

Conflicts:
	src/aeminium/runtime/implementations/implicitworkstealing/graph/ImplicitGraph.java
Merge with master