Merge branch 'release_june_2013'
Postmortem hotfixes for June release.

Included are fixes for search, CAP, blast, hmmer, irbase and robots.txt.
Merge branch 'master' into development
Merge branch 'master' into development