Correct/fix navigate.js redirect behaviour.
Correct/fix navigate.js redirect behaviour.

- Do complete page reload only on protocols switch.
- Improve anchor conservation.
- Drop isSameOriginUrl function.

nodeca/nodeca.core,nodeca/nodeca.core