Merged micro-from700 from repository gpetruc
Merge branch 'micro-from700-andrea' of github.com:arizzi/cmssw into arizzi/micro-from700-andrea