Fix redirect handling and case sensitivity

This fixes issues with case sensitivity (i.e., #REDIRECT should be treated as case insensitive as well as the first letters of pages) and adds a redirectPage field to the index storing the title of the page being redirected to.