feat: Include Java runtime version in project.properties as well (#442)

*Description of changes:*

For the benefit of the DB ESDK nightly build, since it defines `dafnyRuntimeJavaVersion` separately from `dafnyVersion`.

It also turns out I accidentally dropped handling of the `--properties-file` path in #390, so this also allows `writeTemplatedFile` to customize the output path.

codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/CodegenEngine.java

@@ -191,7 +191,7 @@ private void generateProjectPropertiesFile(final Path outputPath)
       "dafnyVersion",
       dafnyVersionString
     );
-    writeTemplatedFile("project.properties", parameters);
+    writeTemplatedFile("project.properties", outputPath.toString(), parameters);
   }
 
   private void generateDafny(final Path outputDir) {
@@ -734,11 +734,20 @@ private Path standardLibraryPath() {
   private void writeTemplatedFile(
     String templatePath,
     Map<String, String> parameters
+  ) {
+    writeTemplatedFile(templatePath, templatePath, parameters);
+  }
+
+  private void writeTemplatedFile(
+    String templatePath,
+    String outputTemplatePath,
+    Map<String, String> parameters
   ) {
     IOUtils.writeTemplatedFile(
       getClass(),
       libraryRoot,
       templatePath,
+      outputTemplatePath,
       parameters
     );
   }

codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/utils/IOUtils.java

@@ -82,6 +82,7 @@ public static void writeTemplatedFile(
     Class<?> klass,
     Path rootPath,
     String templatePath,
+    String templateOutputPath,
     Map<String, String> parameters
   ) {
     String content = IoUtils.readUtf8Resource(
@@ -90,9 +91,9 @@ public static void writeTemplatedFile(
     );
 
     content = evalTemplate(content, parameters);
-    templatePath = evalTemplate(templatePath, parameters);
+    templateOutputPath = evalTemplate(templateOutputPath, parameters);
 
-    Path outputPath = rootPath.resolve(templatePath);
+    Path outputPath = rootPath.resolve(templateOutputPath);
     try {
       Files.createDirectories(outputPath.getParent());
     } catch (IOException e) {

codegen/smithy-dafny-codegen/src/main/resources/templates/project.properties

@@ -1,3 +1,4 @@
 # This file stores the top level dafny version information.
 # All elements of the project need to agree on this version.
 dafnyVersion=$dafnyVersion:L
+dafnyRuntimeJavaVersion=$dafnyVersion:L