Bring the dev-ci configuration file up to date with the CI version

Change-Id: I8dfa251e2196572ad2cfaa44ccf0701555788c17
Reviewed-by: Simo Fält <simo.falt@digia.com>