Merge branch 'master' of cil.li:oc

Conflicts:
	li/cil/oc/common/Proxy.scala