Fixed #647: Documentation for specifying the number of high priority threads --hpx:high-priority-threads