Nginx: compile software with push stream module and add template and configuration to instantiate nginx

Pay attention, in this version there is no authentication and ssl.
version up: nginx 1.6.0
version up: nginx 1.7.2
nginx-push-stream: fix md5sum
version up : file-5.19.
version up : gmp-6.0.0a still keeping gmp-4 for gcc.
Merge remote-tracking branch 'origin/master' into erp5-component
version up eggs.
html5-ide: introduce html5 ide

html5-ide: add htaccess for dav storage

html5-ide: add dummy index and fix graceful

html5-ide: fix versions
nginx-push-stream: Improve nginx configuration to listen in ipv4 address also
monitor: change public directory name to avoid conflicts -> monitor-public
runner: update runner to latest monitor stack
resilient-stack: add basic monitoring
runner: update resilient monitor and move import/export scripts outside recipe
recipe: slaprunner recipes removed
resilient-stack: move notifier wrapper generation to jinja
resilient-stack: include feed monitoring on pbs server

resilient: improve feed monitoring to provide feed access directly in monitor
slaprunner: display latest restored back-up date in monitor stack
request: Provide instance status as returned parameter
monitor: add status history