lokale versie overgezet naar gmi

+ external ExtJS versie 3.4.1
+ external OpenLayers versie 2.12
update index.html
Forceren van index.html

Merge branch 'master' of https://github.com/Geodan/gmi

Conflicts:
	index.html