[simulavr/f14/master] (11 commits) ...Initial pseudo merge for dist-git setup

[Hans Ulrich Niedermann]

Summary of changes:

  7f04bbb... Initialize branch F-11 for simulavr (*)
  eb15e8e... Initialize branch F-12 for simulavr (*)
  a78273c... Initial import (#551560). (*)
  aebeaf8... Initial import (#551560). (*)
  7bfa33d... - Work around doc build conflicting with parallel make (*)
  c8aef5b... - Work around doc build conflicting with parallel make (*)
  2956e3e... Initialize branch F-13 for simulavr (*)
  f0d1d47... dist-git conversion (*)
  772ee1d... dist-git conversion (*)
  4415f8e... dist-git conversion (*)
  1ea3ced... Initial pseudo merge for dist-git setup (*)

(*) This commit already existed in another branch; no separate mail sent