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