Using github support to generate HTMLs from markdowns

removing manually generated HTMLs and adding markdowns with minor modifications like adding Front-manner and adding highlight tags for code snippets