Update mini-tutorial and fix a typo in HTTP servers appendix for command to start PHP builtin HTTP server (thanks @CircleCode).