Draft: Do Not Merge: Proof of Concept: autodafe

Part of #3528.

• 2d1d6c2e Remove autodafe hurdles

  These are minor changes to files that autodafe complained about, thus allowing autodafe to run.

  • Convert long dash to normal dash.
  • Add a newline at the end of a file.

• 6c1cfae7 autodafe step 1: deconfig

  This is the result of applying autodafe step 1 which is deconfig.

  It generates the patch included in this commit. I've also applied the patch to the code.

  The patch removes config.h from some files and adds a config.mk file.

  The list of files chosen to have their config.h include removed seems incomplete and seems to contain randomly chosen files.

  The config.mk file also seems to contain an incomplete and random selection of configure flags.

• 29ce8e83 Makefiles before autodafe step 2: makemake

• 0d0fa678 autodafe step 2: makemake