First draft of RPerf notes

Bit unstructured at the moment, but the goal of how I intend to do it
should be clear.
More parts of the RPerf notes

But it's quite messy at the moment I'm afraid...
Wrote various parts of the notes for RPerf

* started the introduction, sketching the problems with the classical
  case and outlining two examples of derived moduli spaces
* a bit more about what a derived stack is
* explicit reference to HAG-II for what to prove
Wrote a very sketchy proof of derived stackiness

It needs to be improved, but it can serve as the "real" proof in this
text. The others can be merely sketches.
Two more incomplete sketches of proofs
Improved introduction up to now
Discussed RVect as motivation for DAG
Added references for the introduction

I think / hope the introduction is now finished.
Finished the proof of the stackiness of RPerf

At least, with one last caveat that should be (almost) trivial.
Optimised introduction
Added the definition of pseudoperfectness
Properties of Tor amplitude
Almost finished the proof for the general case
Adding items to the bibliography

And referencing results from the previous exposé where appropriate.
Finished the sketch of the proof for RPerf
Finished the first draft of my exposé on RPerf

* more definitions
* saturated interpretation
* properties of derived stacks
* tangent complex
* odds and ends
Changed margins and added the exposés to come

Maybe slightly less vertical margin would be a good idea too, but when I
printed my notes I was amazed how bad the previous margins were in print.
Proofread my notes for RPerf

And made the required corrections, bien sûr
Adding Marco Robalo to the front page
Fixed some typos and optimised typography