Python scripts for lojban in terminal