[kstars/f20] (12 commits) ...Merge branch 'master' into f20

[Rex Dieter]

Summary of changes:

  2a617fa... 4.12.90 (*)
  80ad36f... uses eigen3 now (*)
  632f01f... 4.12.95 (*)
  9b92748... 4.12.97 (*)
  bc02b26... 4.13.0 (*)
  6f3c36d... 4.13.1 (*)
  7147211... Requires: pykde4 (#1103853) (*)
  c9d4d8d... - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass (*)
  8ffb210... 4.13.2 (*)
  7690432... Revert "4.12.5"
  3ca1e68... Revert "4.12.4"
  b5ceae8... Merge branch 'master' into f20

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