Add ttlaunch.properties file for specifying PatchLauncher options

Signed-off-by: Ross Allan <rallanpcl@gmail.com>