new pool/spring property: spring_url_name

Each spring can have a nice, custom URL as long as the outside name is
unique among the springs of the owner.