Den 17 Maj har öfverallt i Norge firats ovanligt högtidligt.