The Pragmatic and thus Despicable release.

The webPLM version is nice but too complex for my own need, so I
restart the dev of the plain old version. I hope to find a way to
merge both branches instead of having to choose the one to kill...

• Remove non-working features
  • Link identities (the target server was turned off)
  • "Call for Help" button
  • Switch Course (no course server anymore)
• Unclutter the interface
  • Remove the "load exercise" menu. Redundent with choose box, and
    not really useful anyway since no loadable exercise exist.
  • Restart for the last used exercise automatically
  • Display a "next exo" on success even if there is no child exo
• Fix broken features
  • Bug report should work again
• Pedagogical content:
  • Rewrite some exercises' mission text to fit in one page only