Add Docker image as development environment

FROM nvidia/cuda:11.4.2-devel-ubuntu20.04

# Fix timezone

ENV TZ=Europe/Prague

RUN ln -snf /usr/share/zoneinfo/$TZ /etc/localtime && echo $TZ > /etc/timezone

RUN apt-get update

RUN apt-get install -y --no-install-recommends g++ gcc make cmake zlib1g-dev libjpeg-dev libpng-dev libtinyxml2-dev

RUN apt-get install -y --no-install-recommends git openssh-client subversion procps

RUN apt-get install -y --no-install-recommends vim valgrind gpg man-db

RUN apt-get install -y --no-install-recommends zsh ca-certificates curl netbase wget

RUN git config --global alias.ll 'log --oneline --graph --all --decorate'

RUN git config --global core.editor 'vim'

WORKDIR /workspace