[vfrnav/f17] (12 commits) ...Merge branch 'master' into f17

[sailer]

Summary of changes:

  2ae9f16... update to 20120831 (*)
  5bef83d... update to 20121111 (*)
  1377bf1... add missing BR (*)
  69734d0... Merge branch 'master' into f18 (*)
  e56b65f... add another missing BR (*)
  87bb3ca... add another BR (*)
  e9cab1d... strange new world of texlive packaging (*)
  49aa5af... more texlive strangeness (*)
  63de55d... more texlive BR (*)
  cdc7280... yet more texlive BR (*)
  b0d82ee... package missing files (*)
  c1316fe... Merge branch 'master' into f17

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