Norges budget för året 1887 — 1888slutar