Add support for a dedicated global configuration file.
Remove unnecessary custom allocator; halloc is smarter than me.