added ProjectiveVariety, ProjectiveWitnessSet types; weird problem with projectivewitnessset doc node
Merge branch 'NAG' of github.com:antonleykin/M2