Merge pull request #68 from holtgrewe/fix/nightly_builds

[FIX] Hotfix for nightly builds.
[FIX] WuManber now also works when one needle is empty.
Merge pull request #71 from holtgrewe/hotfix/find_wu_manber

[FIX] WuManber now also works when one needle is empty.
[DOC,FEATURE] Error message if permalink is not working anymore (e.g. http://…/?p=OldString although OldString does not exist (anymore))
[FIX] Fixed ticket 1121, a bug in the index construction.
[DOC,FEATURE] Developer Mode; (de)activate by pressing Ctrl + Shift at the same time

$.devMode() returns true if the developer mode is active

$(document).bind('devMode', function(e) { console.log(e.active); });
can be used to get notified of developer mode activation events.

[DOC,FEATURE] Permalinks are displayed in Developer Mode
[DOC,FEATURE] Small window notifies user if he is in developer mode

This feature is relevant for end users who accidentally activated developer mode.
This way they get to know how to exit this mode.
[DOC,FIX] Developer Mode can not be used in the search frame
[DOC,FIX] Developer Mode window does not appear twice
[FIX] Fixed ticket 1121, a bug in the index construction.
Merge pull request #84 from bkahlert/develop

Develop
Merge pull request #85 from singerj/develop

Develop
[FIX] Fixing test_store in VS 12.
Merge pull request #87 from holtgrewe/hotfix/test_store_vs12

[FIX] Fixing test_store in VS 12.
[FIX] FindSeqAn now correctly detects C++ OpenMP support if C compiler does not support OpenMP.
Merge pull request #89 from holtgrewe/hotfix/seqan_openmp_cxx_only

[FIX] FindSeqAn now correctly detects C++ OpenMP support if C compiler d...