Under-the-hood improvements

We have spent the last few weeks tuning Librario under the hood: it responds faster, and several minor bugs are fixed. This rests on more accurate measurement of response times.