NAV 3.5.3 released

NAV 3.5.3 has been released, with 19 bugfixes and a slight optimization to the camlogger.