Seconds of Arc option in Star Catalog

Fixed star positions to the second rather than a minute of arc can be displayed in the Star Catalog.