Added multiple term search functionality (with default phrase search)

This pull-request is very similar to #5496
Change allows:
* in addition to the standard (phrase) search adds functionality to search multiple words separated by a space (multiple terms search)
* define the word (or word list) to search in the url hash tag #search. When page has been loaded, document is scrolling to the search results.
* specify the type of search (phrase or multiple term search) in the url hash tag #phrase (true or absent hash tag - default phrase search, false - multiple term search)
* specify the type of search (phrase or multiple term search) in UI (checkbox 'Phrase', by default this is checked).

![pdfjspull](https://cloud.githubusercontent.com/assets/10258064/5538374/73ff2626-8ad4-11e4-843e-870d821cf76c.png)

Examples:
find phrase 'Locking tames tamed tame':
#search=Locking%20tames%20tamed%20tame&phrase=true
or 
#search=Locking%20tames%20tamed%20tame

find multiple term search 'Locking tames tamed tame':
#search=Locking%20tames%20tamed%20tame&phrase=false

Screenshots:
![pdfjspull-phrase](https://cloud.githubusercontent.com/assets/10258064/5538444/051c58e4-8ad6-11e4-95a5-42c01f9fbd24.png)

![pdfjspull-multiple](https://cloud.githubusercontent.com/assets/10258064/5538446/0c22a3c8-8ad6-11e4-9e99-59ee68e4482c.png)


Nit: for almost all loops in this document, add a space before the `(`, i.e., `for(i = 0...)` becomes `for (i = 0...)`.