1.3.0-alpha001

Paket keeps paket.dependencies as stable as possible during edits - #802
paket push doesn't need a dependencies file any more - #800
Added --self for self update of bootstrapper - #791