VGA output, directly from an Arduino