Make maintenance/dev/'s .sh files executable.