Merge branch 'dev' of https://code.grnet.gr/git/astakos into dev