[web/navigation] use add_onload instead of inline javascript href This way our javascript code isn't thrown out by the html cleaner e.g. when using the rql rest directive and a table view. To make things simpler, we now always use ajax URLs for navigation, even when we would previously have used regular links. Closes #3501626

     1

<div id="ajaxroot">

     2

  <div class="ajaxHtmlHead">

     3

    <script src="http://foo.js" type="text/javascript"> </script>

     4

  </div>

     5

  <h1>Hello</h1>

     6

</div>