Ivano-Frankivsk, a bit of history