9f3a47b2e1
Automatically populate filename, creation date and modification date in shell header. Also add the ability to update header on old scripts