we handle .no-js -> .js switch the other way…

- it has to be fast, so we have to add it in <head>
- at the same time we do not want pine.js there
- so we have to move jsnojs out of pine.js and use inline <script> in examples
- documentation will say people can use inline <script> or Modernizr in <head>