Build in docker container if possible

Close #3.