Using github's auto generation of pages from markdowns

Removing manually generated HTMLs and using markdowns with some changes like adding Front-manner and code highlighting