Build a button-driven video player using a Raspberry Pi