Modify Makefile to distinguish between developer and packaging use cases (#4687)
Modify Makefile to distinguish between developer and packaging use cases (#4687)

* make: Add new "dist_release" rules

To make the optimized build faster the existing "release" rules are going to
changed such that they are not identical to the actual releases. Primarily they
will not have debuginfo by default and will use thinLTO instead of LTO.

This adds new "dist_release", etc rules for the CI/CD system to use.

For now they are identical to the existing rules. After CI is updated
the "release" rules will be changed.

Signed-off-by: Brian Anderson <2709ac8f6d3dc60d22e49a091caa2d2f10738e41@gmail.com>

* make: Document release rules

Signed-off-by: Brian Anderson <2709ac8f6d3dc60d22e49a091caa2d2f10738e41@gmail.com>

* Makefile: indicate use of fail_release

Signed-off-by: Brian Anderson <2709ac8f6d3dc60d22e49a091caa2d2f10738e41@gmail.com>

* Clarify the distinction in instruction set for release targets

Signed-off-by: Brian Anderson <2709ac8f6d3dc60d22e49a091caa2d2f10738e41@gmail.com>

pingcap/tikv,BusyJay/tikv,c4pt0r/tikv,BusyJay/tikv,BusyJay/tikv,BusyJay/tikv,pingcap/tikv