mix escriptize: Support escript_path to specify the path on disk to write the escript to.

Fixes #714.
Merge pull request #750 from alexrp/master

mix escriptize: Support escript_path to specify the path on disk to write the escript to.