Revert "Revert "Merge https://github.com/MJBradshaw/sem_control""

This reverts commit 8191f32f7f7871a7ca24c05614612cfaed67d710.