A BBCode to HTML converter in Python