Simple Clock for the Raspberry Pi, using OpenVG for its output