Add javaSourceManaged as a SettingKey.

Set it by default to target/java/src-managed
Update the documentation to include info on the javaSourceManaged key.

Issue #753