Package for the simple traffic lights controller example.