刘家峡水库，炳灵寺