Strange filename ending `.silver`

[ggreif]

silicon/src/main/scala/Silicon.scala

Line 65 in fbde26f

val dummyInputFilename = "dummy-file-to-prevent-cli-parser-from-complaining-about-missing-file-name.silver"

These should not exist any more and should be .vpr instead.