fixed various issues with long page names

Fixed page name getting too big in header (closes #2) and in
search result list of matching page names by introducing a new
config option ('hasLongTitles').