[BEDTools/el5] (5 commits) ...Merge branch 'el5' of ssh://pkgs.fedoraproject.org/BEDTools into el5

[verdurin]

Summary of changes:

  ce7ba71... New upstream minor bugfix release, see http://code.google.c (*)
  6947b6b... Update sources for v2.13.4 release (*)
  6370ccb... Re-add user manual (*)
  7da32b9... Merge branch 'master' into el5
  a866f08... Merge branch 'el5' of ssh://pkgs.fedoraproject.org/BEDTools

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