report number of failures for each test file
Merge branch 'sessions' of github.com:slindley/links into sessions

Conflicts:
	run-tests
Merge branch 'sessions' of github.com:slindley/links into sessions
continuation of input and output must be a session type!
duality for session types