Kmax Tool Suite v4.5

• Populate non-bools when generating configs, either by taking them
  from the input config for krepair or a default from kconfig
• Generalize support for rewriting kbuild paths, adding
  builtins (--no-builtin-kbuild-path-rewrites) and
  user-defined rewrites (--user-kbuild-path-rewrites). These are needed
  because the path to a compilation unit from a Kbuild Makefile may not
  match the file system path due to relative paths
• Added krepair experiment scripts
• Various documentation updates and additions
• Various bugfixes and improvements