* Remove php src the right way for lightweight containers.
* Adapt docker-php-ext-* scripts to check exts against /available-exts generated file.
* Improve docker-php-source script
- swap spaces to tabs to match
- use gnu tar for `--strip-components`
- cache known extension list in `/usr/src/`
- remove extra output
* Changes per tianon's comments
