Add dockerfile (#533)