fixed pinning for dotdeb

Fixed pinning for dotdeb when you use php54. libmemached10 comes from the packages.dotdeb.org repo.