Merge features from dev to master

The new features include:

• Update detection mechanism
• Pretty printing of available and selected lecture episodes
• Comments in text files with lecture links
• Credentials in text files with lecture links