Decode sourcemap mappings only when necessary#1664

hhugo merged 1 commit intoocsigen:masterocsigen/js_of_ocaml:masterfrom

OlivierNicole:lazy-mappingsOlivierNicole/js_of_ocaml:lazy-mappingsCopy head branch name to clipboard