Python module for the Pira RDS encoders