Design of a new high-performance pointing controller for the Hubble Space Telescope