Remove autotools-based build and all the related files
Wait for a while after releasing 0.12.17 before merging this in case there are some problems with 0.12.17 and we need a quick bugfix release.
Wait for a while after releasing 0.12.17 before merging this in case there are some problems with 0.12.17 and we need a quick bugfix release.