Towards Post-Quantum Security for Signal's X3DH Handshake