Add docker to building options