todo for release

[Daejun Park]

Must:

• spec-tmpl.k => module-tmpl.k
• rule-tmpl.k => spec-tmpl.k
• rename *.ini spec files
• fix spec generation command
• fix spec running command
• fix erc20 running script
• fix bihu running script
• fix abstract-semantics.k
• fix lemmas.md tangler issue
• fix Makefile
• remove bak directory
• add sum-to-n.md
• add .PHONY target which allows to run the command even if accidently a file with the same name exists.
• fix /erc20/README.md
• drop edsl-notations.md and replace the links to it by kevm's one
• fix the links in the end of /resources/edsl-spec.md
• fix bihu report (two weeks time contracts)
• rename all viper => vyper
• fix "Viper" in erc20/vyper/vyper-erc20-spec.ini together with resources/lemmas.md

Optional:

• fix hobby/spec-diff.patch
• hobby erc20: explain approve function differences
• vyper erc20: add LLL file
• more explanation (why) for /resources/edsl-spec.md#program-specific-parameters
• avoid duplication of proof running and kprove installation paragraphs
• add collectToken loop spec (not trusted)
• spec-gen: support 'import' instead of postfix convention
• put prefix to collectToken spec.ini section names
• cleanup bihu lemmas
• cleanup lemmas, organize more
• add ds-token spec
• add consensys erc20 spec
• fix pdf icon
• prove both solc and remix compiled binaries
• make verification.md for bihu
• delete /resources/edsl-notations.md
• consolidate verification methodology
• delete scripts directory, moving gen-sepc.py to resources
• move examples/sum-to-n
• fix runtimeverification/evm-semantics#145 (comment)