Improvements from feedback

This release contains fixes based on collected feedback (and other minor improvements).

• Base task is required now,
• New section about deadlines and penalties,
• Private repo is available on demand,
• Updated references (markdown, cross-references),
• Updated implementation section,
• Updated details about the mini-test,
• Updated condition for the report extension,
• Updated README

Lab 1 updates

• Added explicit requirements for the format of protocol specs,
• Added link to the demo

Base version.

v0.1.0

Minor ubdate to the submission process.