[picosat] (7 commits) ...Merge remote branch 'origin/f12/master'

[Jerry James]

Summary of changes:

  4dde72e... Initialize branch F-12 for picosat (*)
  d1d4436... Initial import into F-11 and F-12 branches. (*)
  cad439f... Initialize branch F-13 for picosat (*)
  8f8c4a6... dist-git conversion (*)
  9c118e1... dist-git conversion (*)
  b021d6d... Merge remote branch 'origin/f13/master'
  8c65a01... Merge remote branch 'origin/f12/master'

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