release 3.13

adjust web resource path in readme

remove beta from filenames in makefile

website: fix small typo

release v3.10

release 3.9

Merge branch 'master' of github.com:rsms/inter