Add Gallina Python mode