Create demo for a safety verification of a controlled cooperative platoon

[irublev]

This issue is a part of issue #53.

[irublev]

You need to fix the following warnings obtained after compilation of documentation by sphinx:

C:\Git\ellipsoids4\doc\chap_examples.rst:523: WARNING: Content block expected for the "raw" directive; none found.
C:\Git\ellipsoids4\doc\chap_examples.rst:527: WARNING: Title underline too short.

LMI-based three-vehicle platoon
------------------------
C:\Git\ellipsoids4\doc\chap_examples.rst:527: WARNING: Title underline too short.

LMI-based three-vehicle platoon
------------------------
C:\Git\ellipsoids4\doc\chap_examples.rst:543: WARNING: Explicit markup ends without a blank line; unexpected unindent.
C:\Git\ellipsoids4\doc\chap_examples.rst:560: WARNING: Explicit markup ends without a blank line; unexpected unindent.
C:\Git\ellipsoids4\doc\chap_examples.rst:565: WARNING: Explicit markup ends without a blank line; unexpected unindent.
C:\Git\ellipsoids4\doc\chap_examples.rst:577: WARNING: Explicit markup ends without a blank line; unexpected unindent.
C:\Git\ellipsoids4\doc\chap_examples.rst:597: WARNING: Explicit markup ends without a blank line; unexpected unindent.
C:\Git\ellipsoids4\doc\chap_examples.rst:598: WARNING: Field list ends without a blank line; unexpected unindent.
C:\Git\ellipsoids4\doc\chap_examples.rst:603: WARNING: Explicit markup ends without a blank line; unexpected unindent.
C:\Git\ellipsoids4\doc\chap_examples.rst:645: WARNING: Explicit markup ends without a blank line; unexpected unindent.
C:\Git\ellipsoids4\doc\chap_examples.rst:663: WARNING: Explicit markup ends without a blank line; unexpected unindent.
C:\Git\ellipsoids4\doc\chap_examples.rst:667: WARNING: Explicit markup ends without a blank line; unexpected unindent.
C:\Git\ellipsoids4\doc\chap_examples.rst:673: WARNING: Explicit markup ends without a blank line; unexpected unindent.
C:\Git\ellipsoids4\doc\chap_examples.rst:679: WARNING: Explicit markup ends without a blank line; unexpected unindent.

[irublev]

This is how your demo looks like now in HTML form. Please fix all this.