Sample benchmark result
Propose opam modifications
convert to unix endlines
Convert to unix endlines
[specification] improved structure
[specification] more details on operf-micro
typo
Merge branch 'master' into tt

Conflicts:
	spec/specification.tex
Add some notes