Upgrade push server to AG sec 1.3.1-SNAPSHOT

This is the fix to https://issues.jboss.org/browse/AGSEC-164. After we test it against the push server we might be good to release 1.3.1 this week.

Is not necessary to build ag-sec, ag-sec-plink once it was released on nexus under snapshot repositories.