Makefile target to push into stable
update doc
update readme
options: to_opt/of_opt/head/head_exn
fix makefile.update_next_tag
Sequence.IO module, a very very simple way to read/write files
merge from master: version 0.5.1