DBOS Inc., a new startup led by prominent computer scientists, launched today with $8.5 million in seed funding and an operating system designed to challenge Linux. Engine Ventures led the investment.