message: changed docu from local dev to production ready mashlib
diff: <!-- used for production-ready documentation -->
  <!-- note: one does not need whole mashlib; solid-ui is sufficient -->
  - <!--<script type="text/javascript" src="https://solidos.github.io/mashlib/dist/mashlib.js"></script> -->
  + <script type="text/javascript" src="https://solidos.github.io/mashlib/dist/mashlib.js"></script>
  <!-- to use only solid-ui -->
  <!-- <script type="text/javascript" src="https://solidos.github.io/solid-ui/dist/main.js"></script> -->
  <!-- used for local development -->
  <!-- make sure to use the latest build version by running npm run build-form-examples first -->
  - <script type="text/javascript" src="main.js"></script>
  + <!--<script type="text/javascript" src="main.js"></script>-->
  <script type="text/javascript" src="test-form.js"></script>
  </head>
  