core/server.py:  Refactored `ApplicationWebSocket.get_theme()` so that it keeps track of individual theme file modification times like all the other file sync methods.  The end result is a 30-40% speedup when a theme is rendered the first time and a 70-130% speedup on subsequent calls.  Not bad!