separate install flags for core, tools, extras and devs
Merge pull request #30 from mozilla/installoptions

separate install flags for core, tools, extras and devs