Wkhtmltopdf galaxy version? update to wkhtmltox 0.12.5 trusty

[wadebuildotto]

which version is installed on galaxy as the link on the guide is broken

Default base image | Galaxy Docs

this should be updated to wkhtmltox 0.12.5 trusty