Allow insertion of docker build options