Merge branch 'master' of git.uio.no:u/erikhf/frm