Precise optical timing of PSR J1023+0038, the first millisecond pulsar detected with Aqueye+ in Asiago