Added keyword for divide and conquer.
Added the short descriptions of the loop invariant stages.
Merge branch 'master' of github.com:CasperBHansen/DIKU_AD_2013