[BEDTools/f14] (4 commits) ...Merge branch 'master' into f14

[verdurin]

Summary of changes:

  ef3a069... Update BEDTools to 2.13.1 (*)
  ab6a299... Upload BEDTools 2.13.1 tarball (*)
  9ce95ec... Upload BEDTools manual PDF (*)
  79a40b8... Merge branch 'master' into f14

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