Den för norrmännen så minnesrika 17 maj har öfverallt i Norge firats med mycken högtidlighet.