Fix idiotic error

In the proof of the algbraicity of the stack of coherent sheaves we
forgot to check all the conditions of the application of Grothendiecks
existence theorem. One of these is "separated", which is absolutely
necessary and we have now added this to the assumptions.
Example to see mistake fixed in 0f8c41f was fatal