docker-full: install libgmp-dev & libreadline-dev