Adding mediawiki pdf fetcher

Adds script to use wkhtmltopdf to fetch mediawiki pages as pdfs
in batch.