Migrate 0.7.2 to github

Features:

• Document Outline/Structure
• Equation Preview (realtime)
• Themes(background/foreground colors)
• Highlighting
• Print Source Codes
• Auto-Completion (in experiments)

Changelog:

• Fix datatime insertion problem
• Add recent files list
• Fix no-save-quit problem
• Fix outline auto-hide problem