A termbox wrapper for PHP