add inner checker and more testcases
Merge branch 'master' of https://github.com/popacai/TQOS

Conflicts:
	code/userprog/exception.cc