Merge branch 'release-0.7' into debian-release-0.7-precise
Bump version to 0.7~rc3-1~precise

Signed-off-by: Nikos Skalkotos <skalkoto@grnet.gr>