Merge branch 'feature/scheduler_refactoring' of github.com:JWUST/hyrise into feature/scheduler_refactoring
Merge branch 'feature/scheduler_refactoring' of github.com:JWUST/hyrise into feature/scheduler_refactoring