Свечано прослављен празник Св. Јоаникија Девичког, ктиторска слава манастира Девич