Use 'git commit --amend' in madoko build script

[jfingerh]

This should reduce the amount of growth in the repo commit history, by only keeping the latest auto-generated version of the PDF and HTML files.