[push] simplify understanding that there is only one repo in project
[push] Pass repository to createTarget

Is needed for Git where target are repository aware objects.
extracted introduction course to separate repository
fix NPE
cleanup
cleanup
updated repository link
Merge remote-tracking branch 'origin/master'
simplify spellchecker strategy a bit
Resource folder.
Merge remote-tracking branch 'origin/master'
fixed educational start up
Merge remote-tracking branch 'origin/master'

Conflicts:
	python/edu/python-educational.iml
Remove rest plugin.
Fix path to appInfo.
comment for PsiUtilBase.findEditor
Merge remote-tracking branch 'origin/master'
fast fix "frames not available"
EDIDE-118 course description tool window updated
Merge remote-tracking branch 'origin/master'