Add a run-from-source batch file

Might be helpful to some people.