Add highlight package
Port gandalf theme to new deftheme format