Add search icon with social links

[Jeremy Hopkins]

If social links are used then the search box is removed.

Ideally it would be good to fit an expandable search box into the header and for this to be distinct from "social" links.

For the interim add the option for a search icon linking to Moodles search page for convenience.

[Jeremy Hopkins]

Add option to show link to Moodle search page along with social icons (which remove the search box). Fix #81

→ <<cset e7d108ff322e>>

[Jeremy Hopkins]

Add option to show link to Moodle search page along with social icons (which remove the search box). Fix #81

→ <<cset e7d108ff322e>>