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
BUGFIX: convert-from-nuget
doen`t duplicate sources anymore - #804