Unix Concepts: Remove broken link.

The section on soft and hard links was made a subsection, which has
been merged into the section on Paths, Files and Directories. Remove
the misleading and broken link.

Found by checklink.

Decrease font size of menu.

To make it fit onto small cell phone screens.

Improve menu.

The grey bar was not very intuitive to use, and it does not work with
all browsers. While elinks ignores the css and renders the menu at
the top of the page, at least one popular cell phone browser neither
shows the bar nor the menu, making it impossible to navigate the pages.

This commit reworks the css and html code to always show an hamburger
icon at the top left corner of the page. Moving the pointer on the
icon opens the menu.

Suggested-by: Sanja Jasek <S.Jasek@exeter.ac.uk>
Tested-by: Maša Lenuzzi <masa.lenuzzi@tuebingen.mpg.de>

Avoid stray '<!DOCTYPE>' text.

The markdown converter converts the doctype header into html which
results in a stray line at the top of the chapter. This only affects
the chapters that still use markdown: Bash, Git, Command Line
Utilities, and Gridengine.

This patch applies a silly workaround. In the long run, the chapters
should be converted to plain html.

Initial commit.

These files were created 2015 and orginally contained only the
material that was used for the Unix courses held back then at the
MPI for development biology in Tübingen.

Over time, more content was added and existing contents have been
improved. Development was tracked within the non-public "user-info"
git repository that also contains unrelated contents for internal
use within the institute.

In 2019-12 the title was changed to "Advanced Problems in the Linux
Environment" and the pages were made public. To give interested
readers access to the source code, contents were moved to a dedicated
repository that was made public in 2020-01.

No attempts were made to filter out the 269 commits of the user-info
repo that touched the files of the unix course.