Koffin puisto, Kaivopuisto ja Tähtitorninvuori