make getUsedBytes abstract
Merge branch 'type-refactoring'

Conflicts:
	build/com.mbeddr.analyses/build-base.xml
	build/com.mbeddr.analyses/build-cbmc.xml
	build/com.mbeddr.analyses/build-nusmv.xml
	build/com.mbeddr.analyses/build-ts-tests.xml
	build/com.mbeddr.analyses/build-yices.xml
	build/com.mbeddr.cc/build-ple.xml
	build/com.mbeddr.cc/build-req.xml
	build/com.mbeddr.core/build.xml
	build/com.mbeddr.debugger.testing/debugger-testing.xml
	build/com.mbeddr.debugger.testing/debugger.testing.tests.core.xml
	build/com.mbeddr.doc/build.xml
	build/com.mbeddr.ext/build-SmInComp.xml
	build/com.mbeddr.ext/build-components.xml
	build/com.mbeddr.ext/build-statemachine.xml
	build/com.mbeddr.ext/build-units.xml
	build/com.mbeddr.tutorial/build-tests.xml
	code/languages/com.mbeddr.cc/languages/com.mbeddr.cc.var.rt/languageModels/behavior.mps
	code/languages/com.mbeddr.ext/languages/com.mbeddr.ext.components.mock/languageModels/behavior.mps
update build scripts
Merge branch 'master' of github.com:mbeddr/mbeddr.core