Edit all trac.ini options via the WebAdminPlugin

WWW: https://trac-hacks.org/wiki/IniAdminPlugin