Merge remote-tracking branch 'ooici/master'

Conflicts:
	.gitignore
	.gitmodules
	Doxyfile
	README
	autolaunch.cfg
	build.xml
	buildout.cfg
	extern/coverage-model
	extern/ion-definitions
	extern/ion-functions
	extern/pyon
	res
	setup.cfg
	setup.py