Petřín, hrad a Stromvka