New command times to show time in different time zones
New settings for the times.py plugin
Merge branch 'times' into steiner