loaders extension can now handle multiple loaders for different filetypes. A difference between map and object files is now being made! Fixed a small redundancy in the guimanager. Added clearResourceLoaders() to the Pool class. This can be used if different resourceloaders have to be added at a later point in time (running editor for example, a plugin might want to have it's own loader added)

<Panel title="Select an option">
	<VBox>
		<ScrollArea min_size="150,300">
			<ListBox name="optionDrop"/>	
		</ScrollArea>
		<HBox>
			<Button name="okButton" text="OK"/>
			<Button name="cancelButton" text="Cancel"/>
		</HBox>
	</VBox>
</Panel>