Add dockerfile, in progress
running full test
save solver-net file to/from cbfs