Merge branch 'dev' of git.uio.no:usit-rt into dev