Remove autogenerated files

These files are auto-generated by the build, so including them in the
repo is not needed (furthermore, they will generate git-status noise
if the autotools in the system generate different contents for them
to what is committed).