Python readline applications made easy