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
