Add inferno, a distributed cross-platform hosted OS
Merge pull request #3155 from doublec/inferno

Add inferno, a distributed cross-platform hosted OS