Release leap_platform (eip service)

Push stable develop branch to master

(from redmine: created on 2013-05-05, closed on 2013-07-09, blocks #2403 (closed), precedes #2400 (closed), precedes #2519 (closed))