Small plugin for mantis bug tracker to allow adding custom content to the html head tag