gitk: Add a user preference to enable/disable use of themed widgets