Update properties of *.sh files. 
    
        - Set the `executable' property to all sh files. This should fix
          the problem of resetting file permissions (of files without
          executable property set) each time they are changend and
          committed up to central repository.