Increase Disk Space on Docker Toolbox

OK, I finally found the solution:

Open Docker Quickstart Terminal, remove the virtual docker-machine and add a new one:

 $ docker-machine rm default
 $ docker-machine create -d virtualbox --virtualbox-disk-size "100000" default