Appends an extension to a file path if it is not already present.
p = path.appendExtension(p, ext)
p is a file system path.
ext is the extension to append to the path.
A new file system path with the extension appended, if it was not already part of the path.
Premake 5.0 or later.