Add ripple-rest dockerfile.
Rename run file.
Note strange behaviour regarding stdin.