Port to miku instead of Yesod
Add Dockerfile