Add a dockerfile recipe for guix

dockerfile-guix

+FROM ubuntu
+
+USER root
+
+RUN apt-get -y update
+# Install dependencies to install guix
+RUN apt-get -y upgrade --no-install-recommends ca-certificates gpg gpg-agent gnupg-utils netbase tar wget xz-utils
+RUN update-ca-certificates
+RUN wget https://ci.guix.gnu.org/search/latest/archive?query=spec:tarball+status:success+system:x86_64-linux+guix-binary.tar.xz -O guix-binary.tar.xz
+ENV GUIX_BINARY_FILE_NAME /guix-binary.tar.xz
+RUN wget "https://sv.gnu.org/people/viewgpg.php?user_id=15145" -O - | gpg --import -
+# Install guix
+RUN cd /tmp && \
+    wget https://git.savannah.gnu.org/cgit/guix.git/plain/etc/guix-install.sh && \
+    chmod +x guix-install.sh && \
+    yes '' | ./guix-install.sh
+# Authorize substitutes
+RUN guix archive --authorize < /var/guix/profiles/per-user/root/current-guix/share/guix/ci.guix.gnu.org.pub
+RUN guix archive --authorize < /var/guix/profiles/per-user/root/current-guix/share/guix/bordeaux.guix.gnu.org.pub
+# Install other useful linux packages
+RUN apt-get -y upgrade --no-install-recommends bash bzip2 curl git jq unzip vim
+# Clean
+# RUN apt-get autoremove -y
+# RUN apt-get autoclean -y
+# RUN apt-get purge -y
+
+# Execute this first before executing guix commands:
+#/var/guix/profiles/per-user/root/current-guix/bin/guix-daemon --build-users-group=guixbuild --disable-chroot --substitute-urls='https://bordeaux.guix.gnu.org https://ci.guix.gnu.org https://guix.bordeaux.inria.fr' &
\ No newline at end of file