HITRAP: A Facility for Experiments with Trapped Highly Charged Ions