Version 1.33, w1.1.1
Merge branch 'devel'
Version 1.33, w1.2.0
Merge branch 'devel'
Version 1.33, w1.3.0
Prevent copy&paste of extended PRO sections and bugfix in clipboard
handling
Prevent directories to be treated as game resources
Merge branch 'devel' into devel-ci

Conflicts:
	src/infinity/gui/BrowserMenuBar.java
	src/infinity/resource/key/BIFFResourceEntry.java
Game ID for BGEE
Merge branch 'devel' into devel-ci

Conflicts:
    src/infinity/resource/ResourceFactory.java
Keep BGEE on BG2's effect code for now
Merge branch 'devel' into devel-ci
Streamline BGEE detection
BGEE tlk-charset detection uses game id
Recognise BGEE's file types and support the easy ones
Merge branch 'devel' into devel-ci

Conflicts:
	src/infinity/resource/ResourceFactory.java
	src/infinity/util/StringResource.java
Silence ant
Right, "movies" is also a bgeeDir
More script resref fixes
Merge branch 'devel' into devel-ci