Github action to create a docker file * Using manual dispatch, updated user name for docker * Update .dockerignore --------- Co-authored-by: Jonathan Taylor <jonathan.taylor@stanford.edu>
