Removed note about B or SCADE not being open-source