Small readline-based console for Python