Internationalisation mitigated by delegating theorem labelling to user.
If the user does not like the default labels (now English by default), he can overwrite labels in his conf.py file. User can further set the latex theorem counter.
Closes #2 (closed).
Edited by Louis