#1915: Make child themes inherit favicon from base.
#1915: If a theme has a favicon already, use it instead of os_base's.
#1915: remove debugging code
Merge pull request #1978 from openscholar/1915-favicon

Subthemes inherit favicon from base if needed.