Improved handling of provisioning files.

Calling FunctionCreateProvisioningFile now writes two files, one for
use inside the build tree, the other (with .install appended) for use
in an install tree.