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
Small bugfix relating to case-sensitiveness
Use UTF-8 when reading BGEE TLKs (author-is-a-hack version)
Merge branch 'devel' into devel-ci
Merge branch 'devel-ci' into ci
Version 1.33, w1.2.0 CI