Remove priority scheduling

Since the priority scheduler is not used in any later projects, remove
this part to assure robustness.