[ticket/13331] Use docs target for this branch, add docs-all for dev branches.

PHPBB3-13331
Merge pull request #3142 from bantu/ticket/13331

[ticket/13331] Use docs target for this branch, add docs-all for all branches

* bantu/ticket/13331:
  [ticket/13331] Use docs target for this branch, add docs-all for dev branches.

Conflicts:
	build/build.xml
	build/sami-checkout.conf.php
[ticket/13331] Remove travis/sami.conf.php. Use build/sami-checkout.conf.php.

PHPBB3-13331
Merge pull request #3142 from bantu/ticket/13331

[ticket/13331] Use docs target for this branch, add docs-all for all branches
Merge pull request #3143 from bantu/ticket/13331-ascraeus

[ticket/13331] Use docs target for this branch, add docs-all for all branches
Merge branch 'develop-olympus' into develop-ascraeus
Merge branch 'develop-ascraeus' into develop