package/Dockerfile: local deb file

Author: ehildenb

package/Dockerfile.ubuntu-bionic

@@ -13,4 +13,4 @@ RUN    apt update
 RUN curl -sSL https://get.haskellstack.org/ | sh -s - -f
 
 ADD https://github.com/kframework/k/releases/download/nightly-89361d7c8/kframework_5.0.0_amd64_bionic.deb kframework_5.0.0_amd64_bionic.deb
-RUN apt install --yes kframework_5.0.0_amd64_bionic.deb
+RUN apt install --yes ./kframework_5.0.0_amd64_bionic.deb