load tidy.so everywhere (but don't enable it)

Load the Tidy extension everywhere. For now, this won't actually enable the
extension, because of $wgTidyInternal in CommonSettings.php.

Change-Id: I8bcd28374088536c430d8c1c7afb4575d1ba1287