EU leaders want their own army, but can't agree on much else - five things we learned from the Renzi-Hollande-Merkel summit