With Codex, Holiday Extras is turning customer expertise into better apps, higher booking conversion and new possibilities for growth.