Entangλe: A Translation Framework from Quipper Programs to Quantum Markov Chains