Added option to hide empty categories in category navigation if enabled, closes #645