A python program to mark up text file into html