a termbox wrapper for PHP