This program does the following:
- Use the systick counter to toggle the LEDs every half a second
- The blinking is as follows:
- If the user button is pressed, the green LED blinks and the red LED is left as it was at the time the button is pressed
- If the user button is not pressed, the red LED blinks and the green LED is left as it was at the time the button is released