* Update issue templates

* Update issue templates

…eable/waterproof-vscode into prosemirror-document-construction

…mirror-document-construction

This settings gets rid of the errors telling us that `matchAll` is not supported by
telling vscode to use the correct version of typescript that we use.

Previously a document without any input areas would throw
a 'failed to create pm webview' error. This has been fixed by implementing
an early return in the case that there are no input areas in the document.

Also includes nicer debug print of 'failed to create pm editor'.

Plus remove console.log cluttering the output.

… closing `*)`

Input can be created with `(* begin input *)` and `(* end input *)`.
Hint can be created with `(* begin hint : [title] *)` and `(* end hint *)`.

Currently only 'faults' are the 'postPostWhite', etc. tags.

Also fixes the regex for lists.

This disables the creation of a code block in markdown using the four
spaces of identation. This does not work nicely in the coqdoc setting.

The markdown parser is now different for the coqdoc and markdown case.

The hint regex consumed newline characters and hence the newline information inside
of hint cells was incorrect. This has been fixed by changing the regex.

The `prePostWhite` and `postPreWhite` information was correctly parsed but not
passed to the ProseMirror constructor for the coqblock node, this has now been added.

The hint regex consumed newline characters and hence the newline information inside
of hint cells was incorrect. This has been fixed by changing the regex.

The `prePostWhite` and `postPreWhite` information was correctly parsed but not
passed to the ProseMirror constructor for the coqblock node, this has now been added.

…eable/waterproof-vscode into prosemirror-document-construction

This fix is no longer needed with the introduction of the new way
of constructing ProseMirror documents.

There was a big in the empty coq cell code that caused the parser
to consider a coqcell containing only coqdoc as empty.

…proof-vscode into v-file-support

…code into v-file-support

…proof-vscode into v-file-support