fix user-dev-guide compilation


git-svn-id: https://scalaris.googlecode.com/svn/trunk@6945 71766da9-9752-0410-ab17-bfafa751c56a
user-dev-guide: add recent theses on Scalaris


git-svn-id: https://scalaris.googlecode.com/svn/trunk@6946 71766da9-9752-0410-ab17-bfafa751c56a