Remove docker scripts; they're too immature. Will add back later.