Add reference to formal glueing (algebra)

Beauville + Lazslo

How many papers are there which do this result? Many!
Add reference to formal glueing in derived categories

Bhargav Bhatt has a paper which talks about this briefly
Fix a proof

Thanks to Bhargav Bhatt