RaVioli: a GPU Supported High-Level Pseudo Real-time Video Processing Library