Options for ownership inference result / simple type inference result

[aigarashi]

_build/default/typecheck.exe prints the result of simple type inference
_build/default/ownership.exe prints the result of ownership inference
It would be good if we have some options for these outputs (e.g. ./test.sh -typecheck, ./test.sh -ownership or sth)