Add preliminary documentation

Added .tex files from Spotter 0.4 report.
M: corrections in docs