added support for setting page.title and toc from the command line using 'ant -Dpage.title="My Page Title" -Dtoc=false -Dproperties.file=portal.properties'