Fix breadcrumb navigation when no index file exists
Move camlp4_3.10 "top file" in the proper directory