Add prop that disables short Jython Shell output.

Default behavior is to use the “short” output—this is mainly just a
convenience thing for development.

[0]