Porttilammen laavu, Hiidenportin kansallispuisto