Prepping for assistant documentation.
Merge remote-tracking branch 'origin/assistant-rewrite' into ldc/afdoc
Merge remote-tracking branch 'origin/assistant-rewrite' into ldc/astntrw

Conflicts:
	core/typechecker/src/main/java/org/overture/typechecker/utilities/VariableNameCollector.java
Merge remote-tracking branch 'origin/assistant-rewrite' into ldc/astntrw

Conflicts:
	core/typechecker/src/main/java/org/overture/typechecker/assistant/ITypeCheckerAssistantFactory.java
There are two problems.
First, not be able to resolve types of argument of tokens mk_token({}) and mk_token([]).
Second, it is under construction how to obtain type information of the argument of mk_token in BToVdmConverter.java. (Mktkn-0007.vdmsl for example)
merge 813ebcb996228a6872eb2b493b63d11fbf0032d0
delete comments including "add"
create files on soccer specification
Add new case studies
create test data. soccer.vdmsl is tested by using interpreter.
delete comment including "add"
add operator test()
Merge commit 'b7d35096556ebe1d5e32558999606ed2924c99f9' into his/solv
modify test specifications
Merging with Peter's branch.
ValueCollector class created.
Finish 2nd level ValueCollector class creation.
delete comments
create and modify test data
Add method for String(seq of char), but does not work
Create and finish IdentifierPatternFinder visitor
from PPattternAssistantInterpreterTC.