Design Automation for Binarized Neural Networks: A Quantum Leap Opportunity?