doc: Add introduction to BIOSAL project

Signed-off-by: George K. Thiruvathukal <gkt@cs.luc.edu>
doc: Add support for more concise section navigation in HTML output

Signed-off-by: George K. Thiruvathukal <gkt@cs.luc.edu>