Odds and ends

- Correct a minor goof in the url-browsing code in BrowserMenuBar
- Only make the movie executables on Windows, and be sure to clean them up
Argent77's VEF patch
Merge branch 'devel' into devel-ci

Conflicts:
	src/infinity/resource/graphics/MveResource.java