chore: remove unused files
fixup delete
feat(people): update people
feat(publication): update
feat(images): add dReal-logo
feat(download): update
feat(dReach): update
feat: add mathjax support
feat: change github ribbon color
feat: change menu items
feat: change menu layout
feat: use dReal logo at the title (top-right)
feat(index.md): update main(dReal) text
feat(_config.yml): update
chore(.gitignore): added